Contact
aleman@um.es
+34 86888 4621
aleman@um.es+34 86888 4621
Tutorship 
Martes 10:45 - 13:45
Miércoles 10:35 - 13:45
Lugar: despacho del profesor
Current teaching
05BD - Metodología y tecnología de la programación 
1º - Anual
1º - Anual
06BE - Herramientas de programación
2º - 1er
2º - 1er
Research
Formal Specifications
Copyright 2009